Rlist($L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce(($\lambda$$x$,$y$. Rplus($x$; $y$)); Rnone; $L$)